Здравствуйте,

Я писал вам об ошибках с uppaal и проблемами его запуска.
Вот, что я выяснил:

В целом всё состоит из 2-х частей:
1) Frontend - java gui
2) некий "server", который либо java пытается запустить сама (и всегда имела в этом неудачу, ибо что-то да падало)
некий "socketserver" - тут запуск приводил к успеху, но была проблема с тем, что он есть лишь в версии 4.1 и только под linux

Поведение java frontend:

    Windows (x64):
    1) v4.0.14 - запускается, позволяет создавать модель и queries и сохранять их, но не работает симулятор и верификатор
    2) v4.1.19 -        запускается, позволяет создавать модель и queries, сохранять может только саму модель, но не queries
    3) v4.1.19x64 - запускается, позволяет создавать модель и queries, сохранять может только саму модель, но не queries

    Linux (разрядность не влияла на результат):
    1) v4.0.14 - запускается, позволяет создавать модель и queries и сохранять их, но не работает симулятор и верификатор
    2) v4.1.19 - не запускается
    3) v4.1.19x64 - не запускается

Теоретически этого достаточно для выполнения задания номер 2, потому что сам верификатор и симулятор из под gui пользовать не нужно,
потому что всё, что нужно это запустить verifyta с флагом -u и указанной моделью и query (которые надо было сгенерировать через gui)
(полезно почитать страницы 16 и 13 в uppaaltutor.pdf)

Если же необходимо сделать так, чтобы полностью работал интерфейс со всеми возможностями, то нужно:
1) запустить socketserver под linux (взять из нужного пакета v4.1, в зависимости от разрядности системы)
2) запустить java из версии v.4.1.19 x64 под windows и указать там --serverHost и --serverPort в командной строке, чтобы оно подключилось к socketserver
    (под linux у меня всё время появлялась ошибка Bug: Word Expected (хотя её не было и под windows всё работало))
    (у меня была windows - host и linux - виртуалка)
    (java -jar .\uppaal64-4.1.19\uppaal.jar --serverHost 192.168.20.128 --serverPort 2350)
3) Всё заработало (обе моих системы - x64)

uppaal(merged) - там jar из 4.1.19 x64, а папка bin - из 4.1.19



Есть подозрение, что чтобы запустить uppaal на windows без ошибок - нужно скачать себе
Visual C++ Tools
которые далеко не всегда идут в комплекте к операционке
(так сказал знающий аспер, но я не пробовал)